Towards Executable Specification: Combining i* and AgentSpeak(L)
نویسندگان
چکیده
Agent-oriented conceptual modeling(AoCM) approaches in Requirements Engineering (RE) have received considerable attention recently. Semi-formal modeling frameworks such as i* assist analysts in requirements elicitation and reasoning of early-phase RE. AgentSpeak(L) is a widely accepted agent programming language. The Strategic Rationale (SR) model of the i* framework naturally lends itself to AgentSpeak(L) programs. Furthermore, the Strategic Dependency (SD) component of the i* framework prescribes the interaction between the agents in a multi-agent environment. This paper proposes a formal methodology for transforming a SR model to an AgentSpeak(L) agent. The constructed AgentSpeak(L) agents will then form the essential components of a multi-agent system, MAS.
منابع مشابه
Co-evolution of i* and AgentSpeak(L) agents in agent oriented software engineering
In this paper we use i* which is a semi-formal modelling framework to model agent based applications. We then describe how we execute these models into AgentSpeak(L) agents to form the essential components of a multi-agent system. We show that by making changes to the i* model we can generate different executable multi-agent systems. We also describe reverse mapping rules to see how changes to ...
متن کاملIntegrating Action Calculi and AgentSpeak: Closing the Gap
Existing action calculi provide rich, declarative formalisms for reasoning about actions. BDI-based programming languages like AgentSpeak, on the other hand, are procedural and geared towards practical applications of cognitive agents. In this paper, we close the gap between these two lines of research by integrating action calculi and AgentSpeak programs. Specifically, we develop a new and pur...
متن کاملCTL AgentSpeak(L): a specification language for agent programs
This work introduces CTLAgentSpeak(L), a logic to specify and verify expected properties of rational agents implemented in the AgentSpeak(L) agent oriented programming language. Our approach is similar to the classic BDICTL modal logic, used to reason about agents modelled in terms of belief (BEL), desires (DES), intentions (INTEND). A new interpretation for the temporal operators in CTL: next ...
متن کاملTranslating into an Intermediate Agent Layer: A Prototype in Maude
This paper summarises how agent programming languages are be embedded into an intermediate agent layer called Agent Infrastructure Layer (AIL) that can be seen as a unifying framework for such languages. We discuss common concepts of the agent programming languages on which the AIL’s design is based and outline a translation of AgentSpeak programs into this intermediate layer. An executable pro...
متن کاملRunning AgentSpeak(L) Agents on SIM_AGENT
This paper presents what is, to the best of our knowledge, the very first successful attempt at running AgentSpeak(L) programs. AgentSpeak(L) is a programming language for BDI agents, created by Rao, with which he pointed for the first time towards bridging the gap between BDI logics and implemented BDI systems. Moreover, it has quite an elegant and neat notation for a BDI programming language,...
متن کامل